منابع مشابه
Proof planning Non-standard Analysis
We describe how non-standard analysis can be used to prove real analysis theorems, and how these proofs can be automated using proof-planning. In particular we borrow from the constructive analysis notions of inductive partitioning, and show how transferring to the non-standard model for the reals allows us a simple proof of the correctness of partitioning algorithms for certain real analysis t...
متن کاملAutomating Proof in Non-standard Analysis
Non-standard analysis provides a framework to carry out formally calculus proofs in a much more intuitive manner than in the 2 − δ formulation of Weierstraß. This paper introduces the notions of proof-planning and rippling, and gives an example showing how they can be applied to non-standard analysis to produce readable proofs. We present the related work in the area and give an outline of the ...
متن کاملNon-standard analysis and representation of reality
The aim of this paper is to show that the representation with the help of Nonstandard Analysis of a real phenomenon, presenting different observation scales, allows an important simplification of language. Indeed, it is convenient to have available the concept of infinitely small and infinitely large quantities in dealing with the macroscopic effects of microscopic phenomena. This is illustrate...
متن کاملAn Approach to Non-standard Analysis
This note has two principal aims: to portray an essence of Non-Standard Analysis as a particular structure (which we call lim-rim), noting its interplay with the notion of ultrapower, and to present a construction of Non-Standard Analysis, viewed as a matter of mathematics, where the set A of non-standard elements of a set A – “the adjunction of all possible limits” is a “good” kind of lim-rim ...
متن کاملIsabelle/HOL-NSA — Non-Standard Analysis
3 Construction of Star Types Using Ultrafilters 14 3.1 A Free Ultrafilter over the Naturals . . . . . . . . . . . . . . . 15 3.2 Definition of star type constructor . . . . . . . . . . . . . . . 15 3.3 Transfer principle . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.4 Standard elements . . . . . . . . . . . . . . . . . . . . . . . . 17 3.5 Internal functions . . . . . . . . . . . . . ....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae (Proceedings)
سال: 1961
ISSN: 1385-7258
DOI: 10.1016/s1385-7258(61)50044-3